We present a family of spatio-temporal theories suitable for continuousspatial change in general, and for continuous motion of spatial scenes inparticular. The family is obtained by spatio-temporalising the well-knownALC(D) family of Description Logics (DLs) with a concrete domain D, as follows,where TCSPs denotes "Temporal Constraint Satisfaction Problems", a well-knownconstraint-based framework: (1) temporalisation of the roles, so that they consist of TCSP constraints(specifically, of an adaptation of TCSP constraints to interval variables); and (2) spatialisation of the concrete domain D: the concrete domain is now$D_x$, and is generated by a spatial Relation Algebra (RA) $x$, in the style ofthe Region-Connection Calculus RCC8. We assume durative truth (i.e., holding during a durative interval). We alsoassume the homogeneity property (if a truth holds during a given interval, itholds during all of its subintervals). Among other things, these assumptionsraise the "conflicting" problem of overlapping truths, which the work solveswith the use of a specific partition of the 13 atomic relations of Allen'sinterval algebra.
展开▼
机译：我们提出了一系列时空理论，适用于一般的连续空间变化，尤其适合于空间场景的连续运动。该族是通过如下方式将时空时空化具有特定域D的著名的描述逻辑（DL）的描述逻辑（DL）族，如下所示，其中TCSP表示“时间约束满足问题”，这是一个基于约束的著名框架：（ 1）角色的临时化，以使它们由TCSP约束（特别是TCSP约束对区间变量的适应）组成； （2）具体域D的空间化：具体域现在为$ D_x $，由区域关系微积分RCC8样式的空间关系代数（RA）$ x $生成。我们假设持续时间为真（即在持续时间间隔内保持）。我们还假设同质性（如果真值在给定间隔内成立，则它在所有子区间内成立）。除其他外，这些假设提出了重叠真相的“冲突”问题，该工作通过使用艾伦区间代数的13个原子关系的特定划分来解决。
展开▼
